Nuprl Lemma : fpf-all-empty 0,22

A:Type, eqP:Top. ydom(). w=(y  P(y,w True 
latex


DefinitionsTop, , xdom(f). v=f(x  P(x;v), x  dom(f), b, P  Q, P & Q, P  Q, x:AB(x), P  Q, x(s1,s2), False, t  T, True
Lemmastrue wf, false wf, top wf

origin